$\vdash$  $\forall$$T$:Type, $x$, $y$:$T$. adjacent($T$;[];$x$;$y$) $\Rightarrow$ False